Computer arithmetic

Results: 1849



#Item
31Computer Networks–716 www.elsevier.com/locate/comnet Remote timing attacks are practical David Brumley a

Computer Networks–716 www.elsevier.com/locate/comnet Remote timing attacks are practical David Brumley a

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
32Taking Roots over High Extensions of Finite Fields ´ Eric Schost

Taking Roots over High Extensions of Finite Fields ´ Eric Schost

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2011-11-11 00:09:18
33Fast Reproducible Floating-Point Summation James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley ARITH 21 April 7-10, 2013

Fast Reproducible Floating-Point Summation James Demmel, Hong Diep Nguyen ParLab - EECS - UC Berkeley ARITH 21 April 7-10, 2013

Add to Reading List

Source URL: bebop.cs.berkeley.edu

Language: English - Date: 2013-11-23 11:48:09
34Estimation d’arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d’Informatique de Paris 6, P. and M. Curie Unive

Estimation d’arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d’Informatique de Paris 6, P. and M. Curie Unive

Add to Reading List

Source URL: www.gdr-mascotnum.fr

Language: English
35Polynomial Ideals Arithmetic for polynomial ideals supported by Gr¨obner bases Version 1.0 May 1992 Herbert Melenk Konrad-Zuse-Zentrum f¨ ur Informationstechnik

Polynomial Ideals Arithmetic for polynomial ideals supported by Gr¨obner bases Version 1.0 May 1992 Herbert Melenk Konrad-Zuse-Zentrum f¨ ur Informationstechnik

Add to Reading List

Source URL: reduce-algebra.com

Language: English - Date: 2008-12-30 11:46:42
36Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London  Abstract. This paper proposes a new hybrid session verification methodology for applying session types di

Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di

Add to Reading List

Source URL: mrg.doc.ic.ac.uk

Language: English - Date: 2016-08-22 17:55:56
37ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-02-16 07:08:02
38Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Arithmetic

Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Arithmetic

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2015-09-01 06:52:18
39cs281: Introduction to Computer Systems  Project Lab 2, Part I: Logisim and an Arithmetic Logic Unit (ALU) Library Assigned: Friday, Sept. 25, Due: Wednesday Sept. 30 by midnight  1. The purpose of this project laborator

cs281: Introduction to Computer Systems Project Lab 2, Part I: Logisim and an Arithmetic Logic Unit (ALU) Library Assigned: Friday, Sept. 25, Due: Wednesday Sept. 30 by midnight 1. The purpose of this project laborator

Add to Reading List

Source URL: personal.denison.edu

Language: English - Date: 2015-11-10 08:26:31
40Introduction  Memoryless Computation Universal Simulation

Introduction Memoryless Computation Universal Simulation

Add to Reading List

Source URL: www.maths.dur.ac.uk

Language: English - Date: 2015-09-03 03:05:49